#!/bin/sh
set -e
git reset HEAD "$@"
